منابع مشابه
Rigorous verification of feasibility
This paper considers the problem of finding and verifying feasible points for constraint satisfaction problems, including those with uncertain coefficients. The main part is devoted to the problem of finding a narrow box around an approximately feasible solution for which it can be rigorously and automatically proved that it contains a feasible solution. Some examples demonstrate difficulties w...
متن کاملVerification methods: Rigorous . . .
This review article is devoted to verification methods and consists of three parts of similar length. In Part 1 the working tools of verification methods are discussed, in particular floating-point and interval arithmetic; my findings in Section 1.5 (Historical remarks) seem new, even to experts in the field. In Part 2, the development and limits of verification methods for finite-dimensional p...
متن کاملTowards Rigorous Compiler Implementation Verification
This paper sketches our approach to rigorously prove the correctness of a compiler executable down to its binary machine code implementation. We will emphasize the central r^ ole of partial program correctness and its preservation, which capture the intuitive correctness requirements for transformational programs and in particular for compilers on realistic machines. Vertical and horizontal com...
متن کاملFlexible Plan Verification: Feasibility Results
Timeline-based planning techniques have demonstrated wide application possibilities in heterogeneous domains. However, a problem for a wider diffusion of such technology still stems in the reduced community that has been studying formal properties of this planning approach. In this sense, we are currently studying the connection between plan generation and execution from the particular perspect...
متن کاملRigorous verification of cocoon bifurcations in the Michelson system
We prove the existence of cocoon bifurcations for the Michelson system ẋ = y, ẏ = z, ż = c − y − 1 2 x, ∗Research supported in part by Grant-in-Aid for Scientific Research (No.17340045), Ministry of Education, Science, Technology, Culture and Sports, Japan. †Research supported by an annual national scholarship for young scientists from the Foundation for Polish Science. ‡Research supported in p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Global Optimization
سال: 2014
ISSN: 0925-5001,1573-2916
DOI: 10.1007/s10898-014-0158-2